- semantic convention
- 语义约定
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
semantic convention
Look at other dictionaries:
Semantic change — Semantic change, also known as semantic shift or semantic progression describes the evolution of word usage usually to the point that the modern meaning is radically different from the original usage. In diachronic (or historical) linguistics,… … Wikipedia
convention T — Convention or principle laid down by Tarski as a ‘material adequacy condition’ governing the enterprise of giving a definition of the truth predicate for a language. A theory satisfies the requirement only if every instance of the schema ‘S is… … Philosophy dictionary
Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also … Wikipedia
Semantic Web — The Semantic Web is an evolving extension of the World Wide Web in which the semantics of information and services on the web is defined, making it possible for the web to understand and satisfy the requests of people and machines to use the web… … Wikipedia
Semantic agricultural wiki — There has been significant interest in applying the practices of semantic web to build an online repository of agricultural information in recent times. An example is the pioneering efforts of the DEAL group in conceptualising an AGROPEDIA for… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Philosophy of language — is the reasoned inquiry into the nature, origins, and usage of language. As a topic, the philosophy of language for Analytic Philosophers is concerned with four central problems: the nature of meaning, language use, language cognition, and the… … Wikipedia
Hungarian notation — is a naming convention in computer programming, in which the name of a variable indicates its type or intended use. There are two types of Hungarian notation: Systems Hungarian notation and Apps Hungarian notation .Hungarian notation was designed … Wikipedia
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy
